DUGi: Llistar Títols | Programación de tareas | 0 - 1

Llistar Títols per Matèria "Programación de tareas"

S'ha trobat un ítem:

1

Format	Data	Títol	Autor
Format	Data	Títol	Autor
	15 juliol 2019	Scheduling through logic-based tools	Coll Caballero, Jordi

1

Matèries

51 - Matemàtiques Programació de tasques Programación de tareas Restricciones pseudo-booleanas Restriccions pseudo-Booleanes Satisfacibilidad módulo teorias Satisfiability modulo theories

Autors

Coll Caballero, Jordi Universitat de Girona. Departament d’Informàtica, Matemàtica Aplicada i Estadística (2013-) Suy Franch, Josep Villaret i Ausellé, Mateu